* src/gtkutil.c (xg_widget_key_press_event_cb): Also raise input signal.

diff --git a/src/gtkutil.c b/src/gtkutil.c
index d17a6970b8de7b8523ec29642079524378fbd69e..48e981d0d9afdc1778c446f4c38172e27f253933 100644 (file)
--- a/src/gtkutil.c
+++ b/src/gtkutil.c
@@ -6256,6 +6256,9 @@ xg_widget_key_press_event_cb (GtkWidget *widget, GdkEvent *event,
     }
 
   XNoOp (FRAME_X_DISPLAY (f));
+#ifdef USABLE_SIGIO
+  raise (SIGIO);
+#endif
   return true;
 }